The Data Logger Case Study in Care
نویسنده
چکیده
This paper presents an extended case study in the use of the Care language for formally veriied software development. The case study concerns storage of variable-length records into a xed-size memory space. The problem is speciied, and a design given, using the Care language. The solution assumes the existence of certain low-level library modules whose speciications (only) are given here. The design is shown rigorously to meet its speciication.
منابع مشابه
Nursing Process of Tibia Fracture Client Based on Orem Self-Care Model: A Case Study
Introduction: Nursing profession and field, as a scientific field, needs a scientific basis of which nursing models were and still are. One of the prominent models in nursing is Orem's self-care model. Therefore, this study was conducted with the aim of applying the nursing process based on the Orem self-care model in patients with tibia fractures. Methods: In this case study, the nursing proc...
متن کاملRole of Environmental Simulation at the Early Stage of Design in Order to Achieve Outdoor Thermal Comfort: A Case Study of Ekbatan and Apadana Residential Complexes in Tehran, Iran
Outdoor environment and its requirement are one of the crucial issues of the designer especially in the residential complexes .early stage simulation is a method which is considered in many studies and projects to demonstrate and predict the environmental performance of the buildings. Therefore in this study to assess the importance of the early-stage environmental consideration through simulat...
متن کاملAnalog Digitized Data Logger with Wireless and Wired Communication Interface and RFID Features
Knowledge of temperature-time curve for a certain time interval is needed in many scientific, medical and industrial applications. In some applications, however, the recorded temperature values in monitored time should be read wirelessly. Both requirements are defined especially for the transport of biological active substances. This set was applied in case study for continuous temperature data...
متن کاملMonitoring Human Movements at Home Using Wearable Wireless Sensors
Recent developments in wireless and sensor technologies can help create a smart home health care environment at low cost, allowing patients to have their physiological signs monitored while staying at home. This paper describes an ongoing project on the design and building of a wearable wireless sensor system to acquire data concerning physical activities of a person in need of medical care. A ...
متن کاملAn integrated heuristic method based on piecewise regression and cluster analysis for fluctuation data (A case study on health-care: Psoriasis patients)
Trend forecasting and proper understanding of the future changes is necessary for planning in health-care area.One of the problems of analytic methods is determination of the number and location of the breakpoints, especially for fluctuation data. In this area, few researches are published when number and location of the nodes are not specified.In this paper, a clustering-based method is develo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995